#include <stdio.h>

#include "stack.h"

void t_stk() {
  stack_push(123);
  printf("%ld\n", stack_pop());
  stack_push(123);
  stack_push(456);
  printf("%ld\n", stack_pop());
  printf("%ld\n", stack_pop());
  stack_push(123);
  stack_push(456);
  stack_push(789);
}
